- formal concept
- формальное понятие
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
formal concept
Смотреть что такое "formal concept" в других словарях:
Formal concept analysis — is a principled way of automatically deriving an ontology from a collection of objects and their properties. The term was introduced by Rudolf Wille in 1984, and builds on applied lattice and order theory that was developed by Birkhoff and others … Wikipedia
Concept mining — is an activity that results in the extraction of concepts from artifacts. Solutions to the task typically involve aspects of artificial intelligence and statistics, such as data mining and text mining. Because artifacts are typically a loosely… … Wikipedia
Concept — For other uses, see Concept (disambiguation). A concept (substantive term: conception) is a cognitive unit of meaning an abstract idea or a mental symbol sometimes defined as a unit of knowledge, built from other units which act as a concept s… … Wikipedia
Concept-oriented model — Example of a concept oriented model. The concept oriented model (COM) is a data model based on the following three principles: Duality principle postulates that any element consists of two parts, called identity and entity. Accordingly, data… … Wikipedia
Concept learning — Concept learning, also known as category learning, concept attainment, and concept formation, is largely based on the works of the cognitive psychologist Jerome Bruner. Bruner, Goodnow, Austin (1967) defined concept attainment (or concept… … Wikipedia
Formal organization — is a fixed set of rules of intra organization procedures and structures. As such, it is usually set out in writing, with a language of rules that ostensibly leave little discretion for interpretation. In some societies and in some organization,… … Wikipedia
Concept Development and Experimentation — Concept Development Experimentation (CD E) is the application of the structure and methods of experimental science to the challenge of developing future military capability. CD E is a forward looking process for developing and evaluating new… … Wikipedia
formal — [adj1] established, orderly academic, approved, ceremonial, ceremonialistic, ceremonious, confirmed, conventional, decorous, directed, explicit, express, fixed, formalistic, lawful, legal, methodical, official, precise, prescribed, pro forma,… … New thesaurus
Formal ontology — A Formal ontology is an ontology with a structure that is guided and defined through axioms. The goal of a formal ontology is to provide an unbiased (domain and application independent) view on reality. Formal ontologies are founded upon a… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Concept map — For concept maps in generic programming, see Concept (generic programming). Example concept map, created using the IHMC CmapTools computer program. A concept map is a diagram showing the relationships among concepts. It is a graphical tool for… … Wikipedia
